, , ,

Micro

Micro est un éditeur de texte en mode console faisant alternative au bien connu nano. Il se veut très simple à utiliser et propose des raccourcis clavier très intuitifs (ctrl-q pour quitter, ctrl-z et ctrl-y pour annuler/refaire) contrairement à ceux de nano. Micro a aussi un prompt intégré similaire à celui de vim, mais se distingue de ce dernier en n'étant volontairement pas modal1). Tout un manuel intégré explique son fonctionnement et sa configuration de long en large.

Installation

Micro est dans les dépôts officiels d'Ubuntu 20.04 et 20.10. Toutesfois, il n'y est pas à jour (v2.0.1 et v2.0.6 respectivement, MAJ à v2.0.8).

Depuis les dépôts officiels

Il suffit d'installer le paquet micro.

Via un script bash

La solution la plus simple pour avoir la dernière version de micro : (voir les commentaires à droite) 

curl https://getmic.ro | bash            # télécharge micro dans le dossier courant
mv ./micro /usr/local/bin/               # lancez soit cette ligne : pour que tous les utilisateurs puissent l'exécuter
mv ./micro ~/.local/bin/                 #        soit cette ligne : pour que seul votre utilisateur puisse l'exécuter
Si vous voulez voir le code du script :
curl https://getmic.ro | less

Via [[snap]]

snap install micro --classic

From Source, autres

Voir sur le github de micro pour plus d'infos.

1)
éditeur modal: possède différents modes de fonctionnement : commande, insertion… voir vim